Proof Complexity

Incremental Parametric Development of Greedy Algorithms

Cognitive Science / Data Structure / Computer Software / Formal method / Proof Complexity / B Method / Greedy Algorithm / B Method / Greedy Algorithm